factoring trinomials by substitution